xen: arm: do not pass a machine ID to dom0
authorIan Campbell <ian.campbell@citrix.com>
Fri, 15 Feb 2013 13:32:08 +0000 (13:32 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 15 Feb 2013 13:32:08 +0000 (13:32 +0000)
commit4308933102ae03cdc7782d8e8ed34fe455d7372d
tree7b1f317fdf2bd4dd70aa80853cb56503c4e67dfc
parent3501bec5ec0fad72a78b5fad8d2d11f2e64842a3
xen: arm: do not pass a machine ID to dom0

Xen relies on DTB and we pass in a suitable device-tree so we don't
need to (and shouldn't) pretend to be a Versatile Express here.

We already don't pass a machine ID to domU in the same way.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain_build.c